int main(){
    printf("%d", 10);
    return 0;
}